␈↓ ∧	␈↓↓CONFERENCE COMMITTEE

␈↓↓␈↓αGeneral Chairman:␈↓  Dr. Max B. Clowes
␈↓βLaboratory of Experimental Psychology
University of Sussex
Brighton, Sussex BN1 9QY
England, U. K.
Telephone:  0273-66755

␈↓αVice Chairman:␈↓  Prof. Shuhei Aida
␈↓βUniversity of Electrocommunications
1-5-1 Chofugaoka, Chofu-Shi
Tokyo 182, Japan
Telephone:  0424-83-2161, Ext. 343

␈↓αProgram Chairman:␈↓  Dr. Nils Nilsson
␈↓βArtificial Intelligence Center
Stanford Research Institute
Menlo Park, California 94025, U.S.A.
Telephone:  415/326-6200, Ext. 2311

␈↓αLocal Arrangements Chairman:␈↓  Mr. Lester D. Earnest
␈↓βArtificial Intelligence Laboratory
Stanford University
Stanford, California 94305, U.S.A.
Telephone:  415/321-2300, Ext. 4202

␈↓αSecretary-Treasurer:␈↓  Dr. Warren Teitelman
␈↓βXerox Palo Alto Research Center
3406 Hillview Avenue
Palo Alto, California 94304, U.S.A.
Telephone:  415/493-1600

␈↓αPast General Chairman:␈↓  Dr. Donald E. Walker
␈↓βArtificial Intelligence Center
Stanford Research Institute
Menlo Park, California 94025, U.S.A.

␈↓αCommittee Members␈↓

Dr. Rod M. Burstall
␈↓βDepartment of Machine Intelligence
University of Edinburgh
4 Hope Park Square
Edinburgh EH8 9NW, Scotland, U.K.

␈↓Prof. John McCarthy
␈↓βComputer Science Department
Stanford University
Stanford, California 94305, U.S.A.

␈↓Dr. S. I. Samoylenko
␈↓βCouncil for Cybernetics
U.S.S.R. Academy of Sciences
B-333, 40 Vavilov Street
Moscow, U.S.S.R.

␈↓Prof. Erik Sandewall
␈↓βComputer Sciences Department
University of Uppsala
Sturegatan 4 B 2 tr
Uppsala, Sweden
␈↓ βJ␈↓↓HIGHLIGHTS

␈↓↓␈↓Building␈α!on␈α"the␈α!stimulating␈α!conferences␈α"of␈α!1969
(Washington,␈αD.C.)␈αand␈α1971␈α(London),␈αan␈α
outstanding␈αfour
day␈αprogram␈αwill␈αbe␈αpresented␈αthis␈αyear␈αbeginning␈αAugust
20.

␈↓ β;Contributed Papers 

There␈αare␈α16␈α
sessions␈αof␈αcontributed␈αpapers␈α
covering␈αthe
entire␈α∪breadth␈α∩of␈α∪current␈α∩A.␈α∪I.␈α∩research.␈α∪ Major␈α∩topics
include␈α≠Natural␈α≠Language␈α~processing,␈α≠Robotics,␈α≠A.␈α~I.
Languages,␈α≤Problem␈α≤Solving,␈α≥Automatic␈α≤Programming,
Theorem␈α
Proving,␈α
and␈α
Psychology.

␈↓ βJTutorial Lectures 

Seven␈α∃leading␈α∃experts␈α∃will␈α∃present␈α∃50␈α∃minute␈α∀invited
tutorial␈α∩lectures␈α⊃on␈α∩topics␈α∩of␈α⊃current␈α∩importance␈α∩in␈α⊃A.I.
research.␈α⊗These␈α↔lectures␈α⊗will␈α↔be␈α⊗video-taped␈α↔so␈α⊗that
attendees␈α∩can␈α∩view␈α∩them␈α∩later␈α∩in␈α∩the␈α∩conference.␈α∩ The
tapes␈α
will␈α
be␈α
made␈α
available␈α
to␈α
colleges␈α
and␈α
universities.

␈↓ β[Free Sessions 

As␈α
a␈α
special␈α
innovation␈α
this␈α
year,␈α
we␈α
are␈α
having␈α
a␈α
series␈α
of
"free␈α∂sessions"␈α∂(in␈α∂parallel␈α∂with␈α∂the␈α∂regular␈α∂sessions)␈α∂in
which␈α∂unrefereed,␈α∂last␈α∂minute␈α∂results␈α∂may␈α∂be␈α∂presented.
There␈α⊃will␈α∩probably␈α⊃be␈α⊃room␈α∩for␈α⊃about␈α∩fifty␈α⊃20-minute
presentations.

␈↓ αb"Computers and Thought" Lecture 

Dr.␈α
Patrick␈α
Winston␈αof␈α
the␈α
Artificial␈αIntelligence␈α
Laboratory,
MIT,␈α
has␈α
been␈α
selected␈αto␈α
give␈α
the␈α
1973␈α
"Computers␈αand
Thought"␈α∪public␈α∪lecture.␈α∪ This␈α∪lecture␈α∪is␈α∪made␈α∩possible
through␈α∃royalties␈α⊗earned␈α∃on␈α⊗the␈α∃book␈α⊗Computers␈α∃and
Thought␈α
edited␈α
by␈α
E.␈α
 Feigenbaum␈α
and␈α
J.␈α
 Feldman.

␈↓ βNPanel Discussion 

Prominent␈α∪persons␈α∪concerned␈α∪with␈α∪Artificial␈α∩Intelligence
will␈α_discuss␈α_whether␈α_or␈α_not␈α_we␈α_can␈α_and␈α→will␈α_make
computers␈αthat␈α
emulate␈α(i.e.␈α equal␈α
or␈αexcel)␈α
the␈αcognitive
and␈α
affective␈α
faculties␈α∞of␈α
humans.␈α
 They␈α
will␈α∞also␈α
consider
the␈αconcomitant␈α
issue␈αof␈αwhich,␈α
if␈αany,␈α
intelligent␈αbehavior
it␈α∩might␈α⊃be␈α∩inappropriate␈α∩or␈α⊃unethical␈α∩to␈α∩emulate.␈α⊃ The
moderator␈α
will␈α
be␈α
Louis␈α
Fein,␈α
Computer␈α
Consultant.

The␈α
panel␈αdiscussion␈α
will␈α
be␈αpreceded␈α
by␈α
some␈αremarks␈α
by
Prof.␈α∪ William␈α∪F.␈α∪Miller,␈α∪Vice␈α∪President␈α∪and␈α∪Provost␈α∪of
Stanford␈α
University.
␈↓ βLA.I. Film Festival 

␈↓There␈α⊃will␈α⊂be␈α⊃showings␈α⊂of␈α⊃films␈α⊂brought␈α⊃by␈α⊂Conference
participants.␈α∩ These␈α⊃films␈α∩will␈α⊃be␈α∩shown␈α∩continuously␈α⊃so
that␈α⊂attendees␈α∂can␈α⊂drop␈α∂in␈α⊂at␈α∂any␈α⊂time␈α∂to␈α⊂see␈α⊂them.␈α∂ A
schedule␈α
will␈α
be␈α
posted␈α
at␈α
the␈α
Conference.

␈↓ βBTours for Spouses 

Tours␈α⊃of␈α⊂nearby␈α⊃points␈α⊂of␈α⊃interest␈α⊂will␈α⊃be␈α⊃available␈α⊂for
spouses␈αduring␈αthe␈αfirst␈αtwo␈αdays␈αof␈αthe␈αConference.␈α One
will␈α∩visit␈α∩the␈α∩facilities␈α∩of␈α∩Sunset␈α∩Magazine,␈α∩followed␈α⊃by
luncheon␈α∀in␈α∀"Old␈α∀Town"␈α∀Los␈α∪Gatos␈α∀and␈α∀a␈α∀visit␈α∀to␈α∪the
vinyards␈αof␈αPaul␈αMasson␈αfor␈α
a␈αtasting.␈α The␈αsecond␈αtrip␈α
will
visit␈α∂some␈α⊂of␈α∂the␈α⊂high␈α∂points␈α⊂(literally)␈α∂of␈α⊂San␈α∂Francisco
and␈α⊗the␈α↔DeYoung␈α⊗Museum,␈α⊗with␈α↔a␈α⊗stop␈α⊗for␈α↔lunch␈α⊗at
Fisherman's␈α
Wharf.

␈↓ β-Recreational Facilities 

Stanford␈α→recreational␈α→facilities␈α→will␈α→be␈α→open␈α~to␈α→you,
including␈α⊂swimming␈α⊃pools,␈α⊂tennis␈α⊂courts,␈α⊃and␈α⊂an␈α⊃18␈α⊂hole
golf␈α∂course.␈α∂ You␈α∂may␈α∂also␈α∂wish␈α∂to␈α∂explore␈α∂the␈α∂Stanford
Museum,␈α⊗the␈α⊗Art␈α∃Gallery,␈α⊗the␈α⊗Bookstore,␈α⊗and␈α∃campus
libraries.

␈↓ βkWinetasting

The␈α⊗winegrowers␈α↔of␈α⊗California␈α↔will␈α⊗present␈α↔a␈α⊗special
tasting␈α∂for␈α⊂Conference␈α∂attendees.␈α⊂ Tables␈α∂will␈α⊂be␈α∂staffed
by␈αwinery␈α
people,␈αwho␈αwill␈α
serve␈αthe␈αwines␈α
and␈αcomment
on␈α⊗their␈α⊗characteristics.␈α↔ Besides␈α⊗wine,␈α⊗there␈α↔will␈α⊗be
cheese␈α⊃provided␈α⊃by␈α⊃the␈α⊃Marin␈α⊃French␈α⊃Cheese␈α⊃Company
and␈α
bread.
␈↓ βU␈↓↓SCHEDULE␈↓

␈↓␈↓↓ Informal Reception ␈↓
Time: Sunday, August 19, 1973, 6:30 p.m. -- 9:30 p.m.
Place: Faculty Club

People␈α
who␈α
arrive␈α
by␈αSunday␈α
evening␈α
are␈α
invited␈α
to␈αvisit
the␈αFaculty␈αClub␈αto␈αpick␈αup␈αregistration␈αmaterials␈αand␈α
meet
other␈α
participants.␈α
 Refreshments␈α
while␈α
they␈α
last.

␈↓↓ 1.  Invited Tutorial Lectures: I ␈↓
Time: Monday, August 20, 1973, 9:00 a.m. -- 12:00 noon
Place: Dinkelspiel Auditorium
Chairman: Peter Hart,␈↓α Stanford Research Institute, Menlo
␈↓ α(Park, California␈↓

 "Automatic Programming", Z. Manna, ␈↓αWeizmann Institute
␈↓ α(of Science, Rehotov, Israel.␈↓
 "Languages for Artificial Intelligence", D. Bobrow,
␈↓ α(B. Raphael, ␈↓αStanford Research Institute, Menlo
␈↓ α(Park, Ca.␈↓
 "Artificial Intelligence & Psychology", A. Newell,
␈↓ α(␈↓αCarnegie-Mellon University, Pittsburgh,
␈↓ α(Pennsylvania␈↓

␈↓↓ 2.  Theory of Heuristic Search ␈↓
Time: Monday, August 20, 1973, 9:00 a.m. -- 12:00 noon
Place: Skilling Auditorium
Chairman: Ron Colman,␈↓α Cal. State Univ. at Fullerton,
␈↓ α(Fullerton, California␈↓

 "Additive AND/OR Graphs", A. Martelli, U. Montanari,
␈↓ α(␈↓αInstituto de Elaborazione della Informazione del
␈↓ α(Consiglio Nazionale della Richerche, Pisa, Italy␈↓
 "The Avoidance of (Relative) Catastrophe, Heuristic
␈↓ α(Competence, Genuine Dynamic Weighting and
␈↓ α(Computational Issues in Heuristic Problem Solving",
␈↓ α(I. Pohl, ␈↓αU.C. Santa Cruz, Santa Cruz, California␈↓
 "Some Theoretical Results On Automated Game Playing",
␈↓ α(T. Boffey, ␈↓αUniversity of Liverpool, United
␈↓ α(Kingdom␈↓
 "The Bandwidth Heuristic Search", L. Harris, ␈↓αDartmouth
␈↓ α(College, Hanover, New Hampshire␈↓
␈↓␈↓↓ 3.  Theorem Proving and Logic: I ␈↓
Time: Monday, August 20, 1973, 9:00 a.m. -- 12:00 noon
Place: Physics Lecture Hall 100
Chairman: J Moore, ␈↓αUniversity of Edinburgh, Edinburgh,
␈↓ α(Scotland␈↓

 "The Q* Algorithm -- A Search Strategy for a Deductive
␈↓ α(Question-Answering System", J. Minker et. al.,
␈↓ α(␈↓αUniversity of Maryland, College Park, Maryland␈↓
 "A Semantically Guided Deductive System for Automatic
␈↓ α(Theorem-Proving", R. Reiter, ␈↓αUniversity of British
␈↓ α(Columbia, Vancouver, Canada␈↓
 "Deletion-Directed Search in Resolution-Based Proof
␈↓ α(Procedures", D. Gelperin, ␈↓αOhio State University,
␈↓ α(Columbus, Ohio␈↓
 "A Definition-Driven Theorem Prover", G. Ernst, ␈↓αCase
␈↓ α(Western Reserve University, Cleveland, Ohio␈↓
 "A Man-Machine Theorem Proving System", W. Bledsoe,
␈↓ α(P. Bruell, ␈↓αUniversity of Texas, Austin, Texas␈↓

␈↓↓ 4.  Invited Tutorial Lectures: II ␈↓
Time: Monday, August 20, 1973, 1:30 p.m. -- 5:00 p.m.
Place: Dinkelspiel Auditorium
Chairman: Saul Amarel, ␈↓αRutgers University, New
␈↓ α(Brunswick, New Jersey␈↓

 "Computer Vision", Y. Shirai, ␈↓αElectrotechnical
␈↓ α(Laboratory, Tokyo, Japan␈↓
 "Artificial Intelligence and Education", S. Papert, ␈↓αMIT,
␈↓ α(Cambridge, Mass.␈↓
 "Automatic Problem Solving", D. Luckham, ␈↓αStanford
␈↓ α(University, Stanford, California␈↓
 "Natural Language Understanding", T. Winograd, ␈↓αStanford
␈↓ α(University, Stanford, California␈↓

␈↓↓ 5.  Applications and Implications of A.I. ␈↓
Time: Monday, August 20, 1973, 1:30 p.m. -- 5:00 p.m.
Place: Skilling Auditorium
Chairman: V.L. Stefanyuk, ␈↓αAcademy of Sciences, Moscow,
␈↓ α(U.S.S.R.␈↓

 "Analysis of Behavior of Chemical Molecules: Rule
␈↓ α(Formation on Non-Homogeneous Classes of
␈↓ α(Objects", B. Buchanan, N. Sridharan, ␈↓αStanford
␈↓ α(University, Stanford, California␈↓
 "Some Necessary Conditions for a Master Chess
␈↓ α(Program", H. Berliner, ␈↓αCarnegie-Mellon
␈↓ α(University, Pittsburgh, Pennsylvania␈↓
 "Artificial Intelligence and Automatic Programming in
␈↓ α(CAI", E. Koffman, S. Blount, ␈↓αUniversity of
␈↓ α(Connecticut, Storrs, Connecticut␈↓
 "Search Strategies for the Task of Organic Chemical
␈↓␈↓ α(Synthesis", N. Sridharan, ␈↓αStanford University,
␈↓ α(Stanford, California␈↓
 "Forecasting and Assessing the Impact of Artificial
␈↓ α(Intelligence on Society", O. Firschein, M. Fischler,
␈↓ α(␈↓αLockheed Research Laboratory, Palo Alto,
␈↓ α(California␈↓, L.S. Coles, J.M. Tenenbaum, ␈↓αStanford
␈↓ α(Research Institute, Menlo Park, California␈↓

␈↓↓ 6.  Theorem Proving and Logic: II ␈↓
Time: Monday, August 20, 1973, 1:30 p.m. -- 5:00 p.m.
Place: Physics Lecture Hall 100
Chairman: Robert Yates,␈↓α Centro de Investigacion en
␈↓ α(Mathematicas Aplicadas y en Sistemas,
␈↓ α(University of Mexico, Mexico, D.F.␈↓

 "Steps Toward Automatic Theory Formation", J. Brown,
␈↓ α(␈↓αUniversity of California, Irvine, California␈↓
 "Doing Arithmetic with Diagrams", A. Bundy, ␈↓αUniversity
␈↓ α(of Edinburgh, Edinburgh, Scotland␈↓
 "A Mechanization of Type Theory", G. Huet, ␈↓αIria Laboria,
␈↓ α(France␈↓
 "On the Mechanization of Abductive Logic", H. Pople,
␈↓ α(␈↓αUniversity of Pittsburgh, Pittsburgh,
␈↓ α(Pennsylvania␈↓
 "A Hole in Goal Trees: Some Guidance from Resolution
␈↓ α(Theory", D. Loveland, M. Stickel, ␈↓αCarnegie-Mellon
␈↓ α(University, Pittsburgh, Pennsylvania␈↓
 "Discovering Classification Rules Using Variable-Valued
␈↓ α(Logic System VL1", R. Michalski, ␈↓αUniversity of
␈↓ α(Illinois at Urbana-Champaign, Illinois␈↓

␈↓↓ Winetasting ␈↓
Time: Monday, August 20, 1973, 7:30 p.m. -- 9:00 p.m.
Place: Stanford Artificial Intelligence Laboratory,
␈↓ α(␈↓α1600 Arastradero Road, Palo Alto, California␈↓

This␈α∞event␈α∞is␈α∞free␈α∞to␈α∞registrants␈α∞and␈α∞their␈α∂spouses␈α∞while
the␈α tickets␈α last.␈α  At␈α∨most␈α 600␈α persons␈α can␈α∨be
accommodated.␈α There␈αwill␈αbe␈αbuses␈αfrom␈αmotels␈αand␈αfrom
campus␈α∪to␈α∀the␈α∪winetasting␈α∪and␈α∀return␈α∪(schedule␈α∀to␈α∪be
posted).

The␈α
site␈α
of␈α
this␈α
tasting␈α
is␈α
in␈α
the␈α
foothills␈α
about␈α
5␈αmiles␈α
from
campus.␈α To␈αget␈αthere␈αby␈αcar,␈αhead␈αSoutheast␈αfrom␈α
campus
to␈α
Page␈α
Mill␈αRoad,␈α
then␈α
turn␈α
right.␈α Drive␈α
into␈α
the␈αhills␈α
until
you␈α
pass␈α
the␈α
280␈α
Freeway,␈αthen␈α
take␈α
the␈α
next␈α
right␈αonto
Arastradero␈α∩Road.␈α⊃ The␈α∩Artificial␈α∩Intelligence␈α⊃Laboratory
will␈α⊃be␈α⊃found␈α⊃about␈α⊃1␈α⊃mile␈α⊃from␈α⊃the␈α⊃turn␈α⊃in␈α∩a␈α⊃strange
looking␈α
building␈α
on␈α
the␈α
hill␈α
to␈α
your␈α
right.
␈↓␈↓↓ 7.  Natural Language: Speech ␈↓
Time: Tuesday, August 21, 1973, 9:00 a.m. -- 12:00 noon
Place: Physics Lecture Hall 100
Chairman: Stephen Crocker, ␈↓αDepartment of Defense,
␈↓ α(Washington, D.C.␈↓

 "A Procedure for Adaptive Control of the Interaction
␈↓ α(between Acoustic Classification and Linguistic
␈↓ α(Decoding in Automatic Recognition of Continuous
␈↓ α(Speech", C. Tappert, N. Dixon, ␈↓αIBM Corporation,
␈↓ α(Yorktown Heights, New York␈↓
 "The Hearsay Speech Understanding System: An Example
␈↓ α(of the Recognition Process", R. Reddy, et. al.,
␈↓ α(␈↓αCarnegie-Mellon University, Pittsburgh, Pa.␈↓
 "System Organizations for Speech Understanding:
␈↓ α(Implications of Network and Multiprocessor
␈↓ α(Architecture for A.I.", L. Erman, et. al., ␈↓αCarnegie-
␈↓ α(Mellon University, Pittsburgh, Pennsylvania␈↓
 "Mechanical Inference Problems in Continuous Speech
␈↓ α(Understanding" W. Woods, J. Makhoul, ␈↓αBolt,
␈↓ α(Beranek and Newman, Cambridge, Massachusetts␈↓
 "Speech Understanding Through Syntactic and Semantic
␈↓ α(Analysis", D. Walker, ␈↓αStanford Research Institute,
␈↓ α(Menlo Park, California␈↓
 "A Parser for a Speech Understanding System",
␈↓ α(W. Paxton, A. Robinson, ␈↓αStanford Research
␈↓ α(Institute, Menlo Park, California␈↓

␈↓↓ 8.  Formalisms for A.I. ␈↓
Time: Tuesday, August 21, 1973, 9:00 a.m. -- 12:00 noon
Place: Skilling Auditorium
Chairman: Marvin Denicoff, ␈↓αOffice of Naval Research,
␈↓ α(Washington, D.C.␈↓

 "D-SCRIPT: A Computational Theory of Descriptions",
␈↓ α(R. Moore, ␈↓αMIT, Cambridge, Massachusetts␈↓
 "Conversion of Predicate-Calculus Axioms, Viewed as
␈↓ α(Nondeterministic Programs, to Corresponding
␈↓ α(Deterministic Programs", E. Sandewall, ␈↓αUppsala
␈↓ α(University, Uppsala, Sweden␈↓
 "A Universal Modular ACTOR Formalism for Artificial
␈↓ α(Intelligence", C. Hewitt, et.al., ␈↓αMIT, Cambridge,
␈↓ α(Massachusetts␈↓
 "A Model for Control Structures for Artificial Intelligence
␈↓ α(Programming Languages", D. Bobrow, R. Wegbreit,
␈↓ α(␈↓αXEROX PARC, Palo Alto, California␈↓
 "Some Aspects of Artificial Intelligence Research in the
␈↓ α(U.S.S.R." D. Pospelov, et. al., ␈↓αAcademy of Sciences,
␈↓ α(Moscow, U.S.S.R.

␈↓↓ 9.  Free Session: Problem Solving and
␈↓ α(Psychology ␈↓
Time: Tuesday, August 21, 1973, 9:00 a.m. -- 12:00 noon
Place: Physics Lecture Hall 101
␈↓␈↓↓ 10.  Natural Language: Systems ␈↓
Time: Tuesday, August 21, 1973, 1:30 p.m. -- 5:00 p.m.
Place: Skilling Auditorium
Chairman: L. Stephen Coles, ␈↓αStanford Research Institute,
␈↓ α(Menlo Park, California␈↓

 "MARGIE: Memory, Analysis, Response Generation and
␈↓ α(Inference on English", R. Schank, et. al., ␈↓αStanford
␈↓ α(University, Stanford, California␈↓
 "Language Processing Via Canonical Verbs and Semantic
␈↓ α(Models" G. Hendrix, et. al., ␈↓αUniversity of Texas,
␈↓ α(Austin, Texas␈↓
 "Understanding Without Proofs", Y. Wilks, ␈↓αStanford
␈↓ α(University, Stanford, California␈↓
 "Idiolectic Language-Analysis for Understanding Doctor-
␈↓ α(Patient Dialogues", H. Enea, et. al., ␈↓αStanford
␈↓ α(University, Stanford, California␈↓
 "Mechanism of Deduction in a Question Answering System
␈↓ α(with Natural Language Input", M. Nagao, J. Tsujii,
␈↓ α(␈↓αKyoto University, Kyoto, Japan␈↓

␈↓↓ 11.  Robot Implementations ␈↓
Time: Tuesday, August 21, 1973, 1:30 p.m. -- 5:00 p.m.
Place: Physics Lecture Hall 100
Chairman: Marvin Minsky, ␈↓αMassachusetts Institute of
␈↓ α(Technology, Cambridge, Mass.␈↓

 "Design of a Computer Controlled Manipulator for Robot
␈↓ α(Research", B. Dobrotin, ␈↓αJet Propulsion
␈↓ α(Laboratory, Pasadena, California␈↓, V. Scheinman,
␈↓ α(␈↓αStanford University, Stanford, California␈↓
 "A Versatile Computer-Controlled Assembly System",
␈↓ α(A. Ambler, et. al., ␈↓αUniversity of Edinburgh,
␈↓ α(Edinburgh, Scotland␈↓
 "Planning Considerations for a Roving Robot with Arm",
␈↓ α(R. Lewis, A. Bejczy, ␈↓αJet Propulsion Laboratory,
␈↓ α(Pasadena, California␈↓
 "Control Algorithm of the Walker Climbing over
␈↓ α(Obstacles", D. Okhotsimsky, A. Platonov, ␈↓αAcademy
␈↓ α(of Science, Moscow, U.S.S.R.␈↓
 "Design of a Low-cost, General-purpose Robot",
␈↓ α(M.H. Smith, ␈↓αUniversity of California, Berkeley,
␈↓ α(California␈↓, L.S. Coles, ␈↓αStanford Research
␈↓ α(Institute, Menlo Park, California

␈↓↓ 12.  Free Session: Formalisms and
␈↓ α(Automatic Programming ␈↓
Time: Tuesday, August 21, 1973, 1:30 p.m. -- 5:00 p.m.
Place: Physics Lecture Hall 101

␈↓↓ 13.  Computers and Thought Lecture
␈↓ α(␈↓α(open to the public) ␈↓
Time: Tuesday, August 21, 1973, 8:00 p.m. -- 9:30 p.m.
Place: Memorial Auditorium
Lecturer: Patrick Winston, ␈↓αMassachusetts Institute of
␈↓α␈↓ α(Technology, Cambridge, Mass.

␈↓Title: "Learning, Problem Solving, and the Search for
␈↓ α(Intelligence"
␈↓␈↓↓ 14.  Natural Language: Semantics &
␈↓ α(Parsing ␈↓
Time: Wednesday, August 22, 1973, 9:00 a.m. -- 12:00
␈↓ α(noon
Place: Physics Lecture Hall 100
Chairman: Joyce Friedman, ␈↓αUniversity of Michigan, Ann
␈↓ α(Arbor, Michigan␈↓

 "Jack and Janet in Search of a Theory of Knowledge",
␈↓ α(E. Charniak, ␈↓αMIT, Cambridge, Massachusetts␈↓
 "Natural Semantics in Artificial Intelligence", J. Carbonell,
␈↓ α(A. Collins, ␈↓αBolt, Beranek and Newman,
␈↓ α(Cambridge, Massachusetts␈↓
 "Some Frills for the Modal Tic-Tac-Toe of Davies and
␈↓ α(Isard: Semantics of Predicate Complement
␈↓ α(Constructions", A. Joshi, R. Weischedel, ␈↓αUniversity
␈↓ α(of Pennsylvania, Philadelphia, Pennsylvania␈↓
 "Semantic Modeling for Deductive Question-Answering",
␈↓ α(K. Biss, et. al., ␈↓αUniversity of Illinois, Urbana-
␈↓ α(Champaign, Illinois␈↓
 "Case Structure Systems", B. Bruce, ␈↓αRutgers University,
␈↓ α(New Brunswick, N.J.␈↓
 "A Linguistics Oriented Programming Language", V. Pratt,
␈↓ α(␈↓αMIT, Cambridge, Mass.␈↓

␈↓↓ 15.  Robot Problem Solving ␈↓
Time: Wednesday, August 22, 1973, 9:00 a.m. -- 12:00
␈↓ α(noon
Place: Skilling Auditorium
Chairman: Jack Buchanan, ␈↓αCarnegie-Mellon University,
␈↓ α(Pittsburgh, Pennsylvania␈↓

 "Proving the Impossible is Impossible is Possible;
␈↓ α(Disproofs Based on Hereditary Partitions",
␈↓ α(L. Siklossy, J. Roach, ␈↓αUniversity of Texas, Austin,
␈↓ α(Texas␈↓
 "Robot Planning System Based on Problem Solvers",
␈↓ α(T. Nagata, et.al., ␈↓αElectrotechnical Laboratory,
␈↓ α(Tokyo, Japan␈↓
 "DECIDER-1: A System That Chooses Among Different
␈↓ α(Types of Acts", L. Uhr, ␈↓αUniversity of Wisconsin,
␈↓ α(Madison, Wisconsin␈↓
 "Robot Decisions Based on Maximizing Utility", W. Jacobs,
␈↓ α(M. Kiefer, ␈↓αThe American University, Washington,
␈↓ α(D.C.␈↓
 "Planning in a Hierarchy of Abstraction Spaces",
␈↓ α(E. Sacerdoti, ␈↓αStanford Research Institute, Menlo
␈↓ α(Park, California␈↓
 "An Efficient Robot Planner which Generates Its Own
␈↓ α(Procedures", L. Siklossy, J. Dreussi, ␈↓αUniversity of
␈↓ α(Texas, Austin, Texas␈↓

␈↓↓ 16.  Free Session: Vision ␈↓
Time: Wednesday, August 22, 1973, 9:00 a.m. -- 12:00
␈↓␈↓ α(noon
Place: Physics Lecture Hall 101

␈↓↓ 17.  Psychology and A.I. ␈↓
Time: Wednesday, August 22, 1973, 1:30 p.m. -- 5:00
␈↓ α(p.m.
Place: Skilling Auditorium
Chairman: Edward Feigenbaum, ␈↓αStanford University,
␈↓ α(Stanford, California␈↓

 "PAS:II: An Interactive Task-Free Version of an Automatic
␈↓ α(Protocol Analysis System", D. Waterman, A.
␈↓ α(Newell, ␈↓αCarnegie-Mellon University, Pittsburgh,
␈↓ α(Pennsylvania␈↓
 "Outlines of a Computer Model of Motivation", G. Kiss,
␈↓ α(␈↓αUniversity of Edinburgh, Edinburgh, Scotland␈↓
 "Active Semantic Networks as a Model of Human
␈↓ α(Memory", D. Rumelhard, D. Norman, ␈↓αUniversity of
␈↓ α(California at San Diego, La Jolla, California␈↓
 "Towards a Model of Human Game Playing", M. Eisenstadt
␈↓ α(and Y. Kareev, ␈↓αUniversity of California at San
␈↓ α(Diego, La Jolla, California␈↓
 "A Model of the Common-Sense Theory of Intention and
␈↓ α(Personal Causation", C. Schmidt, J. D'Addamio,
␈↓ α(␈↓αRutgers University, New Brunswick, New Jersey␈↓.
 "The Symbolic Nature of Visual Imagery", T. Moran,
␈↓ α(␈↓αCarnegie-Mellon University, Pittsburgh,
␈↓ α(Pennsylvania␈↓

␈↓↓ 18.  Automatic Programming ␈↓
Time: Wednesday, August 22, 1973, 1:30 p.m. -- 5:00
␈↓ α(p.m.
Place: Physics Lecture Hall 100
Chairman: C. Cordell Green, ␈↓αStanford University,
␈↓ α(Stanford, California␈↓

 "A System which Automatically Improves Programs",
␈↓ α(J. Darlington, R. Burstall, ␈↓αUniversity of Edinburgh,
␈↓ α(Edinburgh, Scotland␈↓
 "Proving Theorems about LISP Functions", R. Boyer,
␈↓ α(J Moore, ␈↓αUniversity of Edinburgh, Edinburgh,
␈↓ α(Scotland␈↓
 "A Global View of Automatic Programming", R. Balzer,
␈↓ α(␈↓αUniversity of Southern California, Information
␈↓ α(Science Institute, Marina del Rey, California␈↓
 "A Heuristic Approach to Program Verification", S. Katz,
␈↓ α(Z. Manna, ␈↓αWeizmann Institute of Science,
␈↓ α(Rehovot, Israel␈↓
 "Iterated Limiting Recursion and the Program Minimization
␈↓ α(Problem" L. Schubert, ␈↓αUniversity of Alberta,
␈↓ α(Canada␈↓
 "Heuristic Methods for Mechanically Deriving Inductive
␈↓␈↓ α(Assertions" B. Wegbreit, ␈↓αBolt, Beranek and
␈↓ α(Newman, Cambridge, Massachusetts␈↓
 "Automatic Program Synthesis in Second-Order Logic",
␈↓ α(J. Darlington, ␈↓αGeselschaft fuer Mathematik und
␈↓ α(Datenverarbeitung, Bonn, Germany␈↓

␈↓↓ 19.  Free Session: Applications ␈↓
Time: Wednesday, August 22, 1973, 1:30 p.m. -- 5:00
␈↓ α(p.m.
Place: Physics Lecture Hall 101

␈↓↓ 20.  Invited Discussion ␈↓α(open to the public) ␈↓
Time: Wednesday, August 22, 1973, 8:00 p.m. -- 10:00
␈↓ α(p.m.
Place: Memorial Auditorium

 "Practical & Theoretical Impacts of Artificial Intelligence",
␈↓ α(William F. Miller, ␈↓αVice President and Provost,
␈↓ α(Stanford University␈↓
 "How Much of Human Intelligence Could and Should
␈↓ α(Computers be Made to Equal or Excel?  A
␈↓ α(Discussion", Louis Fein, ␈↓αSynnoetic Systems,
␈↓ α(Moderator␈↓.  (Speakers and discussants will include
␈↓ α(E. Fredkin and J. Weizenbaum of M.I.T. and
␈↓ α(T. Winograd of Stanford. Others to be announced.)
␈↓␈↓↓ 21.  Computer Vision ␈↓
Time: Thursday, August 23, 1973, 9:00 a.m. -- 12:00
␈↓ α(noon
Place: Physics Lecture Hall 100
Chairman: Adolfo Guzman, ␈↓αCentro Nacional de Calculo,
␈↓ α(Mexico␈↓

 "Finding Picture Edges through Collinearity of Feature
␈↓ α(Points" F. O'Gorman, M. Clowes, ␈↓αUniversity of
␈↓ α(Sussex, Brighton, Sussex, England␈↓
 "Interpreting Pictures of Polyhedral Scenes",
␈↓ α(A. Mackworth, ␈↓αUniversity of Sussex, Brighton,
␈↓ α(Sussex, England␈↓
 "Detection of Homogeneous Regions by Structural
␈↓ α(Analysis", F. Tomita, et.al., ␈↓α Osaka University,
␈↓ α(Osaka, Japan␈↓
 "Computer Description of Textured Surfaces", R. Bajcsy,
␈↓ α(␈↓αUniversity of Pennsylvania, Philadelphia,
␈↓ α(Pennsylvania␈↓
 "A Semantics-Based Decision Theoretic Region Analyzer",
␈↓ α(Y. Yakimovsky, J. Feldman, ␈↓αStanford University,
␈↓ α(Stanford, California␈↓

␈↓↓ 22.  General Problem Solving ␈↓
Time: Thursday, August 23, 1973, 9:00 a.m. -- 12:00
␈↓ α(noon
Place: Skilling Auditorium
Chairman: Richard Fikes, ␈↓αStanford Research Institute,
␈↓ α(Menlo Park, California␈↓

 "POPS: An Application of Heuristic Search Methods to the
␈↓ α(Processing of a Nondeterministic Programming
␈↓ α(Language", G. Gibbons, ␈↓αNaval Post Graduate
␈↓ α(School, Monterey, California␈↓
 "CASAP: A Testbed for Program Flexibility", R. Balzer,
␈↓ α(␈↓αUniversity of Southern California, Information
␈↓ α(Science Institute, Marina del Rey, California␈↓
 "A Number Theory Approach to Problem Representation
␈↓ α(and Solution" S. Shen, E. Jones, ␈↓αVirginia
␈↓ α(Polytechnic Institute and State University,
␈↓ α(Blacksburg, Virginia␈↓
 "On a Local Approach to Representation in Problem
␈↓ α(Solving", V. Stefanyuk, ␈↓αAcademy of Science,
␈↓ α(Moscow, U.S.S.R.␈↓
 "The Architecture of a Coherent Information System; A
␈↓ α(General Problem Solving System", C. Srinivasan,
␈↓ α(␈↓αRutgers University, New Brunswick, New Jersey␈↓

␈↓↓ 23.  Free Session: Robots and Other ␈↓
Time: Thursday, August 23, 1973, 9:00 a.m. -- 12:00
␈↓ α(noon
Place: Physics Lecture Hall 101
␈↓␈↓↓ 24.  Perception for Robots ␈↓
Time: Thursday, August 23, 1973, 1:30 p.m. -- 5:00 p.m.
Place: Physics Lecture Hall 100
Chairman: Harry Barrow, ␈↓αUniversity of Edinburgh,
␈↓ α(Edinburgh, Scotland␈↓

 "Computer Description of Curved Objects", G. Agin, ␈↓αIBM
␈↓ α(Corporation, Endicott, New York␈↓, T. Binford,
␈↓ α(␈↓αStanford University, Stanford, California␈↓
 "Structured Descriptions of Complex Objects", R. Nevatia,
␈↓ α(T. Binford, ␈↓αStanford University, Stanford,
␈↓ α(California␈↓
 "On Calibrating Computer Controlled Cameras for
␈↓ α(Perceiving 3-D Scenes", I. Sobel, ␈↓αIsrael Institute
␈↓ α(of Technology, Haifa, Israel␈↓
 "Thoughts About a Visually Guided Grasp Reflex",
␈↓ α(R. Didday, ␈↓αColorado State University, Fort Collins,
␈↓ α(Colorado␈↓
 "Pattern Classification of the Grasped Object by the
␈↓ α(Artificial Hand", G. Kinoshita, et.al., ␈↓αChuo
␈↓ α(University, Tokyo, Japan␈↓

␈↓↓ 25.  Hardware and Software for A.I. ␈↓
Time: Thursday, August 23, 1973, 1:30 p.m. -- 5:00 p.m.
Place: Skilling Auditorium
Chairman: Richard Waldinger, ␈↓αStanford Research Institute,
␈↓ α(Menlo Park, California␈↓

 "The LISP70 Pattern Matching System", L Tesler, et.al.,
␈↓ α(␈↓αXEROX PARC, Palo Alto, California␈↓
 "Backtracking in MLISP2,", D. Smith, H. Enea, ␈↓αStanford
␈↓ α(University, Stanford, California␈↓
 "CLISP - Conversational LISP", W. Teitelman, ␈↓αXEROX
␈↓ α(PARC, Palo Alto, California␈↓
 "1-pak: A SNOBOL-based Programming Language for
␈↓ α(Artificial Intelligence Applications", J. Mylopoulos,
␈↓ α(et.al., ␈↓αUniversity of Toronto, Toronto, Canada␈↓
 "A LISP Machine with Very Compact Programs",
␈↓ α(L.P. Deutsch, ␈↓αXEROX PARC, Palo Alto,
␈↓ α(California␈↓

␈↓↓ 26.  Free Session: Natural Language ␈↓
Time: Thursday, August 23, 1973, 1:30 p.m. -- 5:00 p.m.
Place: Physics Lecture Hall 101
␈↓ β-TOURS FOR SPOUSES

␈↓Tours␈α
will␈α
be␈α∞offered␈α
to␈α
spouses␈α
of␈α∞conference␈α
attendees
␈↓ α(on␈α
the␈α
first␈α
two␈α
days␈α
as␈α
follows.

Tour␈α
 1:␈α
Monday,␈α
August␈α
20,␈α
10:30␈α
a.m.␈α
--␈α
4:00␈α
p.m.

␈↓ αλA␈αvisit␈αto␈αthe␈αhome␈αof␈αSunset␈αMagazine,␈αtour␈αof
␈↓ αλthe␈α∪grounds,␈α∪information␈α∪on␈α∪how␈α∀recipes␈α∪are
␈↓ αλtested.␈α Next,␈αto␈α
Los␈αGatos'␈αquaint␈αOld␈α
Town␈αfor
␈↓ αλa␈α∂Mexican␈α∞luncheon,␈α∂with␈α∞time␈α∂to␈α∞visit␈α∂some␈α∞of
␈↓ αλthe␈αinteresting␈α
shops.␈α Finally,␈α
a␈αtour␈α
of␈αthe␈α
Paul
␈↓ αλMasson␈α
Winery␈αin␈α
Saratoga␈αwith␈α
ample␈α
time␈αfor
␈↓ αλtasting.␈α
 Cost:␈α
$4,␈α
not␈α
including␈α
lunch.

Tour␈α
 2:␈α
Tuesday,␈α
August␈α
21,␈α
8:45␈α
a.m.␈α
--␈α
4:30␈α
p.m.

␈↓ αλAN␈α∪ALL-DAY␈α∀TRIP␈α∪TO␈α∪SAN␈α∀FRANCISCO␈α∪FOR
␈↓ αλALL␈αAGES!␈α We␈αwill␈αdrive␈αto␈αthe␈αCity␈αalong␈αthe
␈↓ αλSan␈αAndreas␈αFault␈αand␈α
park␈αin␈αGolden␈αGate␈α
Park
␈↓ αλwhere␈α∞you␈α∂can␈α∞tour␈α∂the␈α∞renouned␈α∂Oriental␈α∞Art
␈↓ αλExhibit␈α
at␈αthe␈α
De␈α
Young␈αMuseum,␈α
or␈αwalk␈α
around
␈↓ αλthe␈α∂Strybing␈α∂Arboretum␈α∂and␈α∂the␈α∂Japanese␈α∂Tea
␈↓ αλGarden,␈α∪or␈α∩visit␈α∪the␈α∩Steinhart␈α∪Acquarium␈α∩and
␈↓ αλMuseum␈αof␈αNatural␈α
History.␈α We␈αwill␈α
continue␈αto
␈↓ αλFisherman's␈α∀Wharf␈α∀for␈α∀luncheon␈α∀at␈α∀any␈α∃of␈α∀a
␈↓ αλnumber␈α
of␈α
restaurants␈α
and␈α
a␈α
visit␈α∞to␈α
Ghirardelli
␈↓ αλSquare's␈αshops␈α(and␈α
super␈αsoda␈αfountain),␈αor␈α
the
␈↓ αλMaritime␈α→Museum,␈α→or␈α→ride␈α→a␈α→cable␈α~car␈α→to
␈↓ αλChinatown.␈α≤ Returning␈α≤via␈α≤the␈α≥Twin␈α≤Peaks
␈↓ αλsection␈αof␈αSan␈αFrancisco.␈α Cost:␈α$5,␈αnot␈αincluding
␈↓ αλlunch.


␈↓ α+FOREIGN EXCHANGE AND CHECK CASHING 

The␈α∪foreign␈α∪currency␈α∩exchange␈α∪office␈α∪at␈α∪San␈α∩Francisco
Airport␈α∪is␈α∪open␈α∪seven␈α∪days␈α∩a␈α∪week␈α∪from␈α∪7␈α∪a.m.␈α∩until
midnight.␈α∞ It␈α∞is␈α∂located␈α∞in␈α∞the␈α∂Bank␈α∞of␈α∞America␈α∂section␈α∞in
the␈α
South␈α
Terminal␈α
near␈αthe␈α
Pan␈α
American␈α
facility.␈α Apart
from␈αthe␈αcurrency␈αexchange␈αoffice,␈αthe␈αbank␈αitself␈αis␈αopen
every␈αday␈αfrom␈α8:30␈αa.m.␈αto␈α5:00␈αp.m.␈α(6␈αp.m.␈αon␈αFriday).
Checks␈α⊗may␈α⊗be␈α⊗cashed␈α⊗upon␈α⊗presentation␈α⊗of␈α⊗Driver's
License␈α
and␈α
suitable␈α
credit␈α
card.

There␈α
may␈α
be␈α∞some␈α
limited␈α
foreign␈α
currency␈α∞exchange␈α
at
the␈α∂Wells␈α∞Fargo␈α∂Bank␈α∞on␈α∂the␈α∞Stanford␈α∂University␈α∞campus
during␈α∪banking␈α∪hours␈α∩from␈α∪10␈α∪a.m.␈α∩to␈α∪3␈α∪p.m.␈α∩ Campus
courtesy␈α
cards,␈α
given␈α
to␈αregistrants,␈α
may␈α
be␈α
used␈α
to␈αcash
personal␈α∩checks␈α⊃drawn␈α∩on␈α⊃U.S.␈α∩banks␈α⊃in␈α∩amounts␈α∩up␈α⊃to
$100␈α
at␈α
Wells␈α
Fargo.